1. Combinatorial algorithms :
پدیدآورنده: Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
2. Computer Mathematics
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
3. Discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
4. Fuzzy Sets in Information Retrieval and Cluster Analysis
پدیدآورنده: by Sadaaki Miyamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
رده :
QA248
.
B973
1990
5. Fuzzy Systems
پدیدآورنده: edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
6. Granular Computing
پدیدآورنده: by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
7. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده: by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
8. Mathematical logic :
پدیدآورنده: Roman Kossak
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
9. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
10. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده: edited by S. I. Adjan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
11. Mathematics of Ramsey Theory
پدیدآورنده: edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
12. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده: ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
13. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده: abridgement editor, George J. Hademenos.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
رده :
QA
162
.
D57
2003
14. Soft Computing for Knowledge Discovery
پدیدآورنده: by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
15. Traffic Control and Transport Planning:
پدیدآورنده: by Dušan Teodorović, Katarina Vukadinović.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
16. Trends in mathematics and computational intelligence /
پدیدآورنده: Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence.,Computational intelligence.
رده :
Q342
.
T74
2019eb
17. mathematical logic, the theory of algorithms and the theory of sets
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical- Addresses, essays, lectures ► Algorithms- Addresses, essays, lectures ► Set theory- Addresses, essays, lectures
رده :
511
M426
